1. Solving higher-order equations: from logic to programming
المؤلف: Prehofer, Christian
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)